Effizientes Verifizieren co-NP-vollständiger Probleme am Beispiel zufälliger 4-SAT-Formeln und uniformer Hypergraphen
نویسنده
چکیده
منابع مشابه
Completeness for parallel access to NP and counting class separation
Die Dissertation beschäftigt sich mit Problemen, die vollständig für die Komplexitätsklasse P ‖ sind, sowie mit der Separation von Zählklassen. P NP ‖ ist die Klasse der Probleme, die sich effizient mit parallelem Zugriff auf NP lösen lassen. Wir untersuchen die Komplexität von mit Wahlsystemen assoziierten Problemen. Wahlsysteme sind Vorschriften, nach denen aus einer Kandidatenmenge die Gewin...
متن کاملEin Ansatz zum Erkennen von Schleifen in Graphersetzungssystemen mit Hilfe einer aussagenlogischen Kodierung und seine Anwendung auf Haskell
Graphersetzung ist ein Turing-vollständiges Berechnungsmodell, welches insbesondere in solchen Gebieten Verwendung findet, in denen Probleme durch Graphen modelliert werden können. Eine bekannte Anwendung ist die Ersetzung von Termgraphen in der funktionalen Programmierung. Die Frage nach der Terminierung ist ein wichtiger Punkt, da zum Beispiel eine Endlosschleife selten ein intendiertes Verha...
متن کاملDigitalisierung historischer Glossare zur automatisierten Vorannotation von Textkorpora am Beispiel des Altdeutschen
Um Wörter und Wortformen innerhalb von Texten auffindbar zu machen, waren im vordigitalen Zeitalter Glossare unerlässlich. Heute lassen sich ihre Daten automatisiert mit den zugehörigen Texten zusammenführen, um die Texte so mit weiteren Informationen anzureichern. Für die dazu notwendige Digitalisierung der Glossare ist angesichts des historischen Druckbildes und der oft nicht eindeutigen Info...
متن کاملFormeln zu ’Drei Probleme - Eine Lösung’ Schwimmende zweidimensionale Körper im Gleich- gewicht, das Radspurproblem und Elektronen in einem parabolischen Magnetfeld
Hier werden einige Formeln und Ergebnisse in Ergänzung zu http://www.tphys.uni-heidelberg.de/∼wegner/Fl2mvs/Filme.html gebracht. Genaueres findet man in [1]. Im ersten Abschnitt gebe ich einige grundlegende Formeln an, im zweiten die Formeln für den Grenzfall, in dem sich die Kurve durch ’elementare’ Funktionen wie ExponentialundWinkelfunktionen darstellen lässt, währendman im allgemeinen Fall ...
متن کاملKonfigurierbarkeit für ressourceneffiziente Datenhaltung in eingebetteten Systemen am Beispiel von Berkeley DB
Funktionsumfang und Komplexität von Datenbankmanagementsystemen nehmen fortwährend zu. Die tatsächlich benötigte Funktionalität wird dabei oft außer Acht gelassen und für unterschiedlichste Anwendungsgebiete die gleiche Software ausgeliefert. Im stetig wachsenden Bereich eingebetteter Systeme ist der Ressourcenbedarf von Datenmanagementsystemen von besonderer Bedeutung. Auf Grund der Vielzahl e...
متن کامل